VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers

During the last years, electrical utilities began to install intelligent applications in order to assist Control Centers operators. The Verification and Validation (V&V) process must assure the reliability of these applications, even under incident conditions. This paper addresses the Validation and Verification of Knowledge-Based Systems (KBS) in general, focussing particularly on the V&V of SPARSE, a KBS used in the Portuguese Transmission Network for operator assistance in incident analysis and power restoration. VERITAS is a verification tool developed to verify SPARSE Knowledge Base. This tool performs knowledge base structural analysis allowing the detection of knowledge anomalies.